../../lib/snark_bits/bits_intf.ml